﻿namespace NuGetCop.MSBuild.Tasks.Contracts
{
    using System;
    using System.Collections.ObjectModel;
    using System.Diagnostics.Contracts;
    using NuGetCop.MSBuild.Tasks;

    [ContractClassFor(typeof(INuGetPackageCheckResult))]
    internal abstract class ContractForINuGetPackageCheckResult : INuGetPackageCheckResult
    {
        private ContractForINuGetPackageCheckResult()
        {
        }

        public ReadOnlyCollection<INuGetPackageReference> RelatedPackages
        {
            get
            {
                Contract.Ensures(Contract.Result<ReadOnlyCollection<INuGetPackageReference>>() != null);

                throw new NotImplementedException();
            }
        }

        public ReadOnlyCollection<string> Errors
        {
            get
            {
                Contract.Ensures(Contract.Result<ReadOnlyCollection<string>>() != null);

                throw new NotImplementedException();
            }
        }
    }
}